#include "types.h"
#include "riscv.h"
#include "defs.h"

#define BACKSPACE 0x100

void
consputc(int c) {
    if(c == BACKSPACE){
        uart_putc('\b'); uart_putc(' '); uart_putc('\b');
    }
    else {
        uart_putc(c);
    }
}

void
consolewrite(const char *buf, int len) {
    uart_puts(buf, len);
}

void
consoleinit(void) {
    // 初始化控制台
    uartinit();
}